@$i$: $k$ affects only members of $L$($j$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if eqof(IdDeq)($j$,$i$) then $k$ affects only members of $L$ else  fi